http://identifiers.org/mgd/MGI:5796017 targeted mutation 5.1, Thomas C Sudhof MGI:5796017 Nrxn3<tm5.1Sud> Conditional ready|Reporter